BoolDeq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\lambda$$a$,$b$. $a$ =b $b$, TERMOF\{bool{-}deq{-}aux:ObjectId, 1:l\}$>$